derivation of reduction rules
归约规则的推导
热门查询
- volunteerism n. 志愿精神；志愿服务
- realpolitik n. 现实政治；权力政治；实力政策
- iron n. 熨斗；烙铁；坚强 adj. 铁的；残酷的；刚强的 vt. 熨；用铁铸成 vi. 熨衣；烫平 n. (Iron)人名；(英)艾恩
- lec abbr. lunar equipment conveyor 月球装备传送器
- snipe n. 狙击；[鸟] 鹬；香烟屁股；被开玩笑的人物 vi. 狙击；[军] 伏击；抨击；猎鸟；诽谤 vt. 狙击
- firestorm n. 风暴性大火，大爆发
- Manx n. 马恩岛语；马恩岛猫；马恩岛人 adj. 马恩岛的；马恩岛人的
- caseworker n. 社会工作者；个案工作者
- cooperation n. 合作，协作；[劳经] 协力
- developmental adj. 发展的；启发的
- steaming n. 汽蒸；蒸烘 v. 汽蒸；通入蒸汽（steam的ing形式） adj. 冒热气的 adv. 热气腾腾地
- Friedman n. 弗里德曼（男子名）
- Marsden [人名] [英格兰人姓氏] 马斯登住所名称，来源于古英语，含义是“边界+河谷”(boundary+valley); [地名] [澳大利亚、加拿大、英国] 马斯登
- walkway n. 通道，[建] 走道
- topo n. （等于toppo）威尼斯平底渔船 n. (Topo)人名；(芬、意)托波
- uncompromising adj. 不妥协的，不让步的；坚定的
- invigorate vt. 鼓舞；使精力充沛
- scanning n. 扫描；[计] 搜索，观测；扫掠 v. 扫描（scan的现在分词）；浏览 adj. 扫描的；观测的；搜索的；扫掠的
- eligibility n. 适任，合格；被选举资格
- severally adv. 各自地；分别地；分开地
